Stuck-Free Conformance

Conformance Checking for Models of Asynchronous Message Passing Software

We propose a notion of conformance between a specification S and an implementation model I extracted from a message-passing program. In our framework, S and I are CCS processes, which soundly abstract the externally visible communication behavior of a messagepassing program. We use the extracted models to check that programs do not get stuck, waiting to receive or trying to send messages in vai...

Safe Structural Conformance for Java

In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conformance to interfaces as well: Any class that provides an implementation for each method in an interface conforms structurally to the interface, and any instance of the class can be used where a value of the interface type...

Drilling Stuck Pipe Prediction in Iranian Oil Fields: An Artificial Neural Network Approach

Local influence of boundary conditions on a confined supercooled colloidal liquid

We study confined colloidal suspensions as a model system which approximates the behavior of confined small molecule glassformers. Dense colloidal suspensions become glassier when confined between parallel glass plates. We use confocal microscopy to study the motion of confined colloidal particles. In particular, we examine the influence particles stuck to the glass plates have on nearby free p...

Modeling Musical Structure with Parametric Grammars

Finding high-level structure in scores is one of the main challenges in music information retrieval. Searching for a formalization enabling variety through fixed musical concepts, we use parametric grammars, an extension of context-free grammars with predicates that take parameters. Parameters are here small patterns of music that will be used with different roles in the piece. We investigate t...